-
1 correct formal system
Математика: корректная формальная система -
2 correct formal system
English-Russian scientific dictionary > correct formal system
-
3 system
1) система; комплекс2) совокупность•- absolutely consistent system - absolutely direct indecomposable system - absolutely free system - absolutely irreducible system - absolutely isolated system - allowable coordinate system - almost linear system - ample linear system - artificial feel system - automatic block system - automatic deicing system - binary relational system - binary-coded decimal system - block tooling system - Cartesian coordinate system - completely controllable system - completely ergodic system - completely hyperbolic system - completely identifiable system - completely integrable system - completely irreducible system - completely regular system - completely stable system - completely stratified system - complex number system - conical coordinate system - derivational formal system - differential equation system - differential selsyn system - digital counting system - digital transmission system - elliptic coordinate system - elliptic cylindrical coordinate system - externally inconsistent system - finite state system - finitely axiomatizable system - finitely presented system - fully characteristic quotient system - fundamental system of solutions - hydraulic lift system - integrated switching system - isomorphically embedded system - kernel normal system - linearly dependent system - linearly independent system - live hydraulic system - locking protection system - meteor-burst communication system - modular programming system - parabolic cylindrical coordinate system - permanent four-wheel drive system - pure independent system - radio telephone system - reactor protection system - real number system - receiver-amplifier crioelectric system - remote-cylinder hydraulic system - semantically consistent system - simply consistent system - simply incomplete system - simply ordered system - spherical coordinate system - strongly multiplicative system - structurally stable system - sufficiently general coordinate system - system of frequency curves - system of rational numbers - time multiplex system - time-division multiplex system - uniformly complete system - univalent system of notation - universal system of notation - weakly closed system - weighted number system -
4 error
ˈerə сущ.
1) заблуждение, оплошность, ошибка( во взглядах, расчетах и т. д.) in error, by error, through error ≈ по ошибке, ошибочно through a clerical error ≈ из-за канцелярской ошибки to admit to (making) an error ≈ признать ошибку to commit an error, make an error ≈ совершить ошибку, ошибиться to correct an error, rectify an error ≈ устранять ошибку, исправлять ошибку to compound an error ≈ сглаживать ошибку cardinal error ≈ главная, кардинальная ошибка costly error ≈ дорого обошедшаяся ошибка egregious error, flagrant error, glaring error ≈ грубая, вопиющая ошибка grievous error ≈ прискорбная ошибка grammatical error ≈ грамматическая ошибка printer's error, typographical error ≈ типографская ошибка procedural error ≈ процессуальная ошибка tactical error ≈ тактическая ошибка typing error ≈ опечатка through a typing error ≈ из-за ошибки машинистки, по вине машинистки to be in error ≈ заблуждаться Syn: mistake, fault
2) проступок, грех Syn: transgression, wrong-doing
3) поэт. блуждание
4) тех. изменение, ответвление, отклонение, погрешность, уклонение Syn: deviation, digression;
swerve
5) радио рассогласование ошибка, заблуждение, ложное представление - human * ошибка, свойственная человеку - *s of taste плохой вкус в одежде - an * of judgement неверное суждение, ошибочный расчет, ошибочная оценка - in * ошибочно, по ошибке - to do smth. in * ошибиться, сделать что-либо по ошибке - to make an * сделать ошибку;
впасть в заблуждение - to be in * ошибаться, заблуждаться - to dispossess smb. of an * (книжное) выводить кого-либо из заблуждения - to lead smb. into * вводить кого-либо в заблуждение - to fall into a serious * впасть в серьезную ошибку - he has seen the * of his ways он понял, что поступал неправильно ошибка, погрешность - spelling * ошибка в правописании - printers' * опечатка - noise * (специальное) искажение, вызванное шумами - permissible * (техническое) допуск - actual( специальное) истинная ошибка, истинная величина ошибки - appreciable * существенная ошибка - inappreciable * незначительная погрешность - * code (компьютерное) код ошибки - * log (компьютерное) файл регистрации ошибок - * of omission упущение, недосмотр - * in reading( специальное) ошибка отсчета - to eliminate the *s устранять ошибки проступок, грех - cardinal * смертный грех - *s of youth грехи молодости - to repent one's *s покаяться в грехах (техническое) отклонение (от номинала) ;
потеря точности - station * уклонение отвеса (радиотехника) рассогласование (юридическое) фактическая или юридическая ошибка, допущенная судом в судебном процессе - * in fact фактическая ошибка - * in procedure процессуальная ошибка - writ of * ходатайство об отмене приговора суда вследствие допущенной им при рассмотрении дела ошибки;
аппеляционная жалоба absolute ~ абсолютная ошибка accidental ~ случайная ошибка accounting ~ ошибка бухгалтерского учета accuracy ~ постоянная ошибка addressing ~ вчт. ошибка адресации alignment ~ погрешность юстировки altering ~ нерегулярная ошибка analytic truncation ~ ошибка аналитического усечения average ~ средняя ошибка bad call format ~ вчт. ошибка из-за неправильного вызова bad command ~ вчт. ошибка из-за неправильной команды balancing ~ сбалансированная ошибка ~ ошибка, заблуждение;
to make an error совершить ошибку, ошибиться;
in error по ошибке, ошибочно;
to be in error заблуждаться bias ~ постоянная ошибка biased ~ постоянная ошибка biased ~ систематическая ошибка burst ~ вчт. пакет ошибок calculating ~ погрешность расчета call ~ вчт. ошибка вызова chance ~ случайная ошибка checksum ~ вчт. ошибка в контрольной сумме code ~ вчт. ошибка в коде coincidence ~ вчт. ошибка совпадения common ~ вчт. обычная ошибка compensating ~ вчт. компенсирующая ошибка compensating ~ компенсирующая ошибка compile-time ~ вчт. ошибка при трансляции completeness ~ вчт. ошибка завершения configuration ~ вчт. ошибка компоновки configuration ~ вчт. ошибка конфигурации connection ~ вчт. ошибка монтажа consistency ~ вчт. ошибка из-за несовместимости constant ~ постоянная ошибка constant ~ систематическая ошибка constructional ~ вчт. ошибка монтажа contributory ~ вчт. внесенная ошибка control ~ вчт. ошибка регулирования critical ~ вчт. неустранимая ошибка crude ~ вчт. грубая ошибка cumulative ~ накопленная ошибка data ~ вчт. ошибка в данных data-bit ~ вчт. ошибка в битах данных deletion ~ вчт. ложное исключение design ~ ошибка проектирования detectable ~ вчт. обнаруживаемая ошибка detectable ~ вчт. обнаружимая ошибка difficult-to-locate ~ вчт. труднообнаружимая ошибка displacement ~ вчт. ошибка из-за смещения documentation ~ ошибка в документации double-bit ~ вчт. двухбитовая ошибка dropout ~ вчт. ошибка из-за выпадения error поэт. блуждание ~ грех ~ заблуждение ~ ложное представление ~ отклонение, уклонение, погрешность ~ отклонение от номинала ~ ошибка, заблуждение;
to make an error совершить ошибку, ошибиться;
in error по ошибке, ошибочно;
to be in error заблуждаться ~ вчт. ошибка ~ ошибка ~ вчт. погрешность ~ погрешность ~ потеря точности ~ "приказ об ошибке" (т.е. о передаче материалов по делу в апелляционный суд для пересмотра вынесенного судебного решения на основании ошибки, допущенной при рассмотрении дела) ~ радио рассогласование ~ рассогласование ~ due to sampling вчт. ошибка выборки ~ frequency limit вчт. максимальная частота однобитовых ошибок ~ in addition мат. ошибка сложения ~ in standard deviation ошибка среднего квадратического отклонения ~ in subtraction мат. ошибка вычитания ~ of estimation ошибка оценивания ~ of judgment неверное суждение ~ of judgment ошибочная оценка ~ of posting ошибка бухгалтерской проводки ~ status flag вчт. флаг состояния ошибки estimated ~ оцениваемая ошибка estimation ~ ошибка оценивания estimation ~ ошибка оценки execution ~ вчт. ошибка выполнения experimental ~ погрешность эксперемента factual ~ фактическая ошибка fatal ~ вчт. неисправимая ошибка fatal hard ~ вчт. неисправимая аппаратная ошибка file ~ вчт. ошибка при работе с файлом fixed ~ постоянная ошибка fixed ~ систематическая ошибка following ~ ошибка слежения formal ~ формальная ошибка framing ~ ошибка кадровой синхронизации frequency ~ погрешность частоты general ~ вчт. ошибка общего характера gross ~ грубая ошибка hardware ~ вчт. аппаратная ошибка human ~ вчт. ошибка оператора ~ ошибка, заблуждение;
to make an error совершить ошибку, ошибиться;
in error по ошибке, ошибочно;
to be in error заблуждаться in-process ~ ошибка изготовления inherent ~ вчт. унаследованная ошибка inherited ~ вчт. предвнесенная ошибка inherited ~ вчт. унаследованная ошибка initial ~ вчт. начальная ошибка input ~ вчт. ошибка на входе insertion ~ вчт. ошибка ложного восприятия instantaneous ~ вчт. текущее значение ошибки intentional ~ вчт. умышленная ошибка intermediate ~ вчт. нерегулярная ошибка intermittent ~ случайная ошибка interpolation ~ ошибка интерполяции intrinsic ~ вчт. исходная ошибка introduced ~ вчт. внесенная ошибка introduced ~ вчт. допущенная ошибка irrecoverable ~ непоправимая ошибка isolated ~ вчт. локализованная ошибка isolated ~ вчт. одиночная ошибка judicial ~ судебная ошибка limiting ~ предел точности literal ~ полигр. опечатка literal: ~ буквенный;
literal error опечатка ~ ошибка, заблуждение;
to make an error совершить ошибку, ошибиться;
in error по ошибке, ошибочно;
to be in error заблуждаться marginal ~ вчт. краевая ошибка matching ~ вчт. ошибка неточного согласования material ~ существенная ошибка maximum ~ максимальная ошибка maximum ~ предельная ошибка maximum permissible ~ максимальная допустимая ошибка mean ~ средняя ошибка mean probable ~ средняя вероятная ошибка metering ~ ошибка измерения missing ~ вчт. ошибка из-за отсутствия данных nautical ~ навигационная ошибка no-paper ~ вчт. ошибка из-за отсутствия бумаги nonsampling ~ постоянная ошибка nonsampling ~ систематическая ошибка observation ~ ошибка наблюдения observational ~ ошибка наблюдения offsetting ~ компенсирующая ошибка operating ~ ошибка в процессе работы operating ~ ошибка из-за нарушения правил эксплуатации operation ~ ошибка в работе operational ~ ошибка из-за нарушения правил эксплуатации operator ~ вчт. ошибка оператора output ~ вчт. ошибка выхода parity ~ ошибка, выявленная контролем по четности parity ~ вчт. ошибка четности pattern-sensitive ~ вчт. кодочувствительная ошибка percentage ~ ошибка в процентах permissible ~ допустимая ошибка posting ~ ошибка при переносе в бухгалтерскую книгу precautionary ~ подозреваемая ошибка predictable ~ предсказуемая ошибка probable ~ вероятная ошибка probable ~ стат. вероятная ошибка procedural ~ процедурная ошибка procedural ~ процеждурная ошибка professional ~ профессиональная ошибка program ~ вчт. ошибка в программе program ~ вчт. программная ошибка propagated ~ накапливаемая ошибка propagated ~ вчт. распространяющаяся ошибка propagation ~ вчт. накапливающаяся ошибка pure ~ вчт. истинная ошибка quantitative ~ количественная ошибка quantization ~ вчт. ошибка дискретизации quiet ~ вчт. исправимая ошибка quite ~ вчт. исправимая ошибка random ~ случайная ошибка random sampling ~ ошибка случайной выборки read fault ~ вчт. сбой при чтении reasonable ~ допустимая ошибка recoverable ~ вчт. исправимая ошибка recoverable ~ исправимая ошибка recurrent ~ вчт. повторяющаяся ошибка reduced ~ приведенная погрешность relative ~ относительная ошибка remediable ~ поправимая ошибка residual ~ остаточная ошибка responce ~ вчт. ошибка ответной реакции resultant ~ суммарная ошибка return an ~ code вчт. выдавать код ошибки root-mean-square ~ среднеквадратичная ошибка round ~ вчт. ошибка округления round-off ~ вчт. ошибка округления rounding ~ вчт. ошибка округления rounding ~ ошибка округления run-time ~ вчт. ошибка при выполнении runtime ~ вчт. ошибка при выполнении sample ~ вчт. ошибка выборки sampling ~ вчт. ошибка выборки sampling ~ stat. ошибка выборки sampling ~ stat. ошибка выборочного обследования sampling ~ вчт. ошибка квантования seek ~ вчт. ошибка при поиске дорожки select ~ вчт. ошибка выборки select ~ вчт. ошибка отсутствия связи semantic ~ вчт. семантическая ошибка sequence ~ вчт. неправильный порядок setup ~ вчт. ошибка настройки severe ~ серьезная ошибка size ~ вчт. переполнение размера сетки smoothing ~ ошибка сглаживания soft ~ нерегулярная ошибка soft ~ вчт. случайный сбой software ~ comp. ошибка в системе программного обеспечения software ~ вчт. программная ошибка solid burst ~ вчт. плотный пакет ошибок solid ~ вчт. постоянная ошибка spelling ~ орфографическая ошибка srecification ~ ошибка в описании standard ~ среднеквадратическая ошибка standard ~ (SE) stat. среднеквадратическая ошибка steady-state ~ статическая ошибка stored ~ вчт. накопленная ошибка substantial ~ существенная ошибка substitution ~ вчт. ошибка замещения subtle ~ неявная ошибка syntactical ~ синтаксическая ошибка syntax ~ вчт. синтаксическая ошибка system ~ вчт. ошибка системы systematic ~ stat. систематическая ошибка tabulation ~ вчт. неправильная классификация technical ~ формальная ошибка technical ~ формально-юридическая ошибка time-base ~ вчт. ошибка синхронизации timing ~ вчт. ошибка синхронизации total ~ накопленная ошибка total ~ общая ошибка transient ~ вчт. перемежающая ошибка translation ~ ошибка в переводе transmission ~ вчт. ошибка передачи true ~ вчт. истинная ошибка truncation ~ вчт. ошибка отбрасывания членов ряда truncation ~ вчт. ошибка усечения typing ~ опечатка unbiased ~ случайная ошибка uncompensated ~ нескомпенсированная ошибка underflow ~ вчт. ошибка обнаружения undetectable ~ вчт. необнаруживаемая ошибка undetectable ~ вчт. необнаружимая ошибка unexpected ~ occured вчт. произошла непредвиденная ошибка unrecoverable ~ вчт. неисправимая ошибка wiring ~ ошибка монтажа write fault ~ вчт. сбой при записи write protect ~ вчт. ошибка в связи с защитой от записи zero ~ сдвиг нуля -
5 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
См. также в других словарях:
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
Formal ethics — is a formal logical system for describing and evaluating the form as opposed to the content of ethical principles. Formal ethics was introduced by Harry J. Gensler, in part in his 1990 logic textbook Symbolic Logic: Classical and Advanced Systems … Wikipedia
Formal organization — is a fixed set of rules of intra organization procedures and structures. As such, it is usually set out in writing, with a language of rules that ostensibly leave little discretion for interpretation. In some societies and in some organization,… … Wikipedia
Formal specification — A formal specification is a mathematical description of software or hardware that may be used to develop an implementation. It describes what the system should do, not (necessarily) how the system should do it. Given such a specification, it is… … Wikipedia
Formal charge — 2006, 83, 791. [http://www.jce.divched.org/Journal/Issues/2006/May/abs791.html Abstract] ] .The formal charge can be calculated by the following equation:FC = number of valence electrons of the atom number of lone pair electrons on this atom half … Wikipedia
Axiomatic system — In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… … Wikipedia
Global Positioning System — GPS redirects here. For other uses, see GPS (disambiguation). Geodesy Fundamentals … Wikipedia
Temporal single-system interpretation — The temporal single system interpretation (TSSI) of Karl Marx s value theory emerged in the early 1980s in response to renewed allegations that his theory was riven with internal inconsistencies, and that it must therefore be rejected or… … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Romanian educational system — According to the Law on Education adopted in 1995, the Romanian Educational System is regulated by the Ministry of Education and Research ( Ministerul Educaţiei şi Cercetării MEC ). Each level has its own form of organization and is subject to… … Wikipedia